Modélisation UML/MARTE de SoC et analyse temporelle basée sur l'approche synchrone. Vers l'exploration à haut niveau de l'architecture

Résumé Les systèmes embarqués sur puce (ou system-on-chip, SoC) sont de plus en plus sophistiqués en intégrant de multiples fonctionnalités. Ils requièrent beaucoup de ressources pour améliorer les performances d’exécution. Leurs développements posent un véritable défi en raison, à la fois de leurs complexités et de leurs exigences en qualité de service. Cet article s’intéresse à la conception de ces systèmes en élevant le niveau d’abstraction de la spécification par le biais d’une approche dirigée par les modèles. Dans le contexte de l’environnement Gaspard, nous utilisons le profil UML/MARTE dédié à la modélisation et à l’analyse des systèmes embarqués à temps réel. Particulièrement, nous visons des systèmes effectuant du calcul intensif, à l’image des applications de traitement d’images. Ainsi, à partir de modèles définis par un utilisateur, des informations sont extraites pour analyser le système. Notre étude porte plus précisément sur l’analyse temporelle du système. Elle s’appuie sur l’approche synchrone réactive qui favorise fortement la validation formelle. Le résultat de l’analyse peut ensuite servir dans l’exploration d’architecture du SoC modélisé à haut niveau.